1. A Short introduction to modal logic
المؤلف: Mints, Grigori E.
المکتبة: (طهران)
موضوع: ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
2. A short introduction to intuitionistic logi
المؤلف: / Grigori Mints
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.
رده :
QA
,
9
.
47
,.
M56
,
2000eb
3. A short introduction to intuitionistic logic
المؤلف: / Grigori Mints
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
4. A short introduction to intuitionistic logic
المؤلف: Mints, Grigori E.
المکتبة: (طهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
5. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
المؤلف: P. Martin-Lof, G Mints, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
6. Logic colloquium'96 : proceedings of the colloquium held in San Sebastian, Spain, July 9-15, 1996
المؤلف: J. M. Larrazabal, D. Lascar, G. Mints )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
12
